This paper is mainly about the function verification of x processor 本课题的主要工作是对x微处理器的设计进行功能验证。
All result data indicate that random test can play a very valid role in function verification of embedded processor 所有的数据表明,随机测试在嵌入式处理器的功能验证中能够起到非常有效的作用。
The hiberarchy of software simulation are function verification and cycle-accurate behavioral simulation . the latter are required for make up the model of pipelined processor 对于仿真的要求,有基于功能验证和周期精确两个层次,周期精确需要实现流水线级系统结构仿真。
At the present time, about 70 % of design effort is dedicated to the function verification, while design verification takes more than half of the whole verification works 其中,保证设计功能正确是最基本的一项要求。目前功能验证已占整个设计资源的70%左右,而设计验证则占据验证工作的绝大部分。
By studying the tools for function verification, a layered architecture is proposed in this dissertation . the layered architecture has a better reusability, and can be easily automated . 2 研究了现有的功能验证工具,提出了一个层次化的验证系统结构,该结构具有较好的重用性,更容易实现自动化流程;2
The design phase includes the standardization of rtl coding, logic synthesis and place & route; the verification phase includes the function verification, static timing analysis and physical verification for 08c01 设计工作包括对08c01软核的rtl级代码标准化、逻辑综合和布局布线;验证工作包括对08c01软核的功能验证、静态时序分析和物理验证。
In the modern micro-electronics designs, with gates counts and system complexity growing exponentially, function verification will play a more and more important role, and verification will consume more design effort 在现代微电子设计过程中,随着门电路数目和系统复杂性以指数倍增,功能测试的作用日益变得重要,人们将在测试上投入更多的人力物力。
X processor uses full-custom design method, includes dynamic branch prediction and super scalar technology, and its scale is very large . in order to validate the design, we must apply function verification x微处理器是一款采用全定制设计方法设计的微处理器,处理器中包含动态分支预测和超标量等微体系结构技术,内部结构复杂,设计规模很大,对其进行功能验证有很大难度。
This is one kind project of hardware multiplexer based on the high-performance system on a programmable chip ( sopc ) . in the project author integrate with the software and the hardware on a field programmable gate array ( fpga ), not only simplifying the overall system design, moreover realizing stably, high speed, low cost multiplexer ’ s design . the dissertation carry on three verification step that include function verification 、 time verification and prototype verification to guarantee each ip can work normally to satisfy the system performance requirement . then author introduce the realization of the multiplexer in detail, as well as the test and the debugging questions met in practice and solution of the questions 本方案是一种基于可编程片上系统(sopc)的硬件复用器设计方案,其特点是将系统的软件和硬件集成在一款现场可编程门阵列(fpga)上,使用该方案不但简化了整个系统,而且实现了稳定、高速、低成本的复用器设计。对系统中各个功能模块的整合和验证采用功能仿真、时序仿真、原型验证三个步骤进行,保证系统中各个功能模块可以正常工作,并满足系统的性能要求。然后详细介绍了复用器的实现,以及测试和调试中遇到的问题及解决方法。
At first, the article describes the basic concept of testbench; summaries general function verification approaches : white-box verification, black-box verification, and grey-box verification, and shows their different application situations; examples general verification tools : linting tools, code review, simulator, waveform viewer and code coverage . after doing that, it discusses how to analysis the granularity for verification and how to specify the verification, and details the construct relations between verification specification, testcase and testbench 本文首先阐述了测试平台的基本概念;归纳了常用的功能测试方法:白箱测试、黑箱测试和灰箱测试,并说明了其不同的应用场合;列举了常用的测试工具:代码静态分析工具、代码检查、仿真器、示波器和代码覆盖;接着讨论了如何在测试计划中分析测试粒度、确定待测特征;阐明了待测特征、测试实例和测试平台之间的结构关系。